Une première approche de traçabilité entre modèles d'exigences non-fonctionnelles et spécifications abstraites Event-B
نویسندگان
چکیده
The general framework of our project aims to define a coupling between a requirements model expressed in SysML/KAOS and an abstract Event-B formal specification. The functional goals are the basis for the derivation of abstract Event-B specifications, while nonfunctional goals are injected into the obtained abstract Event-B models in order to complete and enrich them. In this paper, we present different ways to take into account non-functional goals and their impact into the abstract Event-B models. We define also traceability rules between the non-functional requirements and the different Event-B elements in ordre to improve the management of the evolution of these requirements. MOTS-CLÉS : Ingénierie des exigences, SysML/KAOS, Event-B, But non-fonctionnel, Traçabilité.
منابع مشابه
Gestion de l'évolution des applications web - Une approche MDE
RÉSUMÉ. Nous nous intéressons dans cet article à la gestion de l’évolution logicielle dans les processus pilotés par les modèles (MDE). Plus spécifiquement, nous tentons de hisser la gestion de l’évolution logicielle au niveau des spécifications. Nous examinons les défis conceptuels et techniques qui apparaissent lorsque la gestion de l’évolution est considérée comme une problématique de premie...
متن کاملForage distribué des données : une comparaison entre l'agrégation d'échantillons et l'agrégation de règles
Résumé. Pour nous attaquer au problème du forage de très grandes bases de données distribuées, nous proposons d’étudier deux approches. La première est de télécharger seulement un échantillon de chaque base de données puis d’y effectuer le forage. La deuxième approche est de miner à distance chaque base de données indépendamment, puis de télécharger les modèles résultants, sous forme de règles ...
متن کاملCouplage de spécifications B et de descriptions UML pour l'aide aux développements formels des Systèmes d'Information
RÉSUMÉ. La méthode B est une méthode formelle utilisée pour modéliser des systèmes et prouver l’exactitude de leur conception par raffinements successifs. Mais les spécifications formelles sont difficiles à lire quand elles ne sont pas accompagnées d’une documentation. Cette lisibilité est essentielle pour une bonne compréhension de la spécification, notamment dans des phases de validation ou d...
متن کاملDe la réutilisabilité des applications vers celle des modèles
RÉSUMÉ. Dans de précédents travaux, nous avons proposé une approche basée sur la programmation par aspects et la programmation par sujets pour séparer et composer les préoccupations d’une application. L’objectif était, à travers la définition d’un protocole de composition, d’augmenter la réutilisabilité des classes qui forment une application. Dans le présent article nous proposons de faire évo...
متن کاملVers la génération de modèles de sûreté de fonctionnement
Résumé. La conception et le développement de systèmes embarqués critiques sont assujettis à la fois à des objectifs économiques mais également au respect des normes de sécurité. Dès lors, la qualité des analyses de sûreté de fonctionnement et des interactions entre les experts de sûreté de fonctionnement et les équipes de développement est primordiale. Partant du constat que les échanges entre ...
متن کامل